Deduction in Non-Fregean Propositional Logic SCI
نویسندگان
چکیده
منابع مشابه
Rasiowa-Sikorski proof system for the non-Fregean sentential logic SCI
The sentential logic SCI is obtained from the classical sentential calculus by adding a new identity connective ≡ (different from ↔) and axioms which say ”α ≡ β” means ”α is identical to β” . From the axioms for ≡ it follows that the range of sentences has at least two elements. No other special presupposition about the meaning of ’is identical to’ nor the range of sentences are assumed. Any ad...
متن کاملPropositional Non Clausal Deduction and Diagnosis
In [11] Reiter laid the foundations of the formal theory of an approach to diagnosis known as diagnosis from first principles. His work was based on the work of many researchers, notably that of de Kleer [4] and Genesereth [5]. In diagnosis from first principles, we have a logic based description of some system (e.g., a circuit) and an observation of the system’s behavior. We then try to find a...
متن کامل‘Fregean’ Logic and ‘Russellian’ Logic*
I do not think there is one true answer to the question What is logic?. There are, clearly, good and less good answers, and there are answers which are plainly wrong; but the term ‘logic’ has been employed, throughout the history of the subject matter, in such diverse ways that no single one of the uses can be said to be the correct one. However, even among the answers which are acceptable on h...
متن کاملPropositional Attitudes in Non-Compositional Logic
Several authors analyzed propositional attitudes (wish, fear, regret, glad) by integrating their epistemic and deontic components. This paper extends previous work done by the author and presents a logical calculus inspired by Possibility Theory, a non-compositional version of fuzzy logic. Linguistic properties of glad, regret, wish, fear Fact 1: The factual predicates glad and regret presuppos...
متن کاملNon-deterministic Connectives in Propositional Godel Logic
We define the notion of a canonical Gödel system in the framework of single-conclusion hypersequent calculi. A corresponding general (nondeterministic) Gödel valuation semantics is developed, as well as a (non-deterministic) linear intuitionistic Kripke-frames semantics. We show that every canonical Gödel system induces a class of Gödel valuations (and of Kripke frames) for which it is strongly...
متن کاملذخیره در منابع من
با ذخیره ی این منبع در منابع من، دسترسی به آن را برای استفاده های بعدی آسان تر کنید
ژورنال
عنوان ژورنال: Axioms
سال: 2019
ISSN: 2075-1680
DOI: 10.3390/axioms8040115